Choose a model... | Please select the file containing the model to verify and press the Start button. Supported file formats are BPMN, ADOxx XML, ADO XML Light and PNML.

Verification Parameters
Deadlock Check All Deadlocks
Unboundedness Check All Unboundedness
Reachability Negate In Any Case
Path existence Negate Negate In Any Case

Select Model |

Verification Results |
--- | ---
Status: |
Description: |
Critical Activities: | Show Full Counterexample

Raw xml results
Internal Petri Net
Input Model